Wyniki
-
Complex Fuzzy Sets with Application in BCK
Young Bae Jun, Xiao Long Xin
Bulletin of the Section of Logic , 48 /3 (2019) s. 173-185 -
Positive Implicative Soju Ideals in BCK-Algebras
Xiao Long Xin, Rajab Ali Borzooei, Young Bae Jun
Bulletin of the Section of Logic , 48 /1 (2019) s. 1-18 -
An algebraic study of a propositional system of Nelson
Manuel M. Fidel
Bulletin of the Section of Logic , 7 /2 (1978) s. 89 -
A minimal equational base for certain varieties of BCK-algebras
Paweł M. Idziak
Bulletin of the Section of Logic , 10 /4 (1981) s. 152-157 -
A finite base for the consequence operation
Paweł M. Idziak
Bulletin of the Section of Logic , 12 /2 (1983) s. 76-89 -
Generalized complex algebras and regular identities
Paweł M. Idziak
Bulletin of the Section of Logic , 14 /2 (1985) s. 84-88 -
Constructive R
Jose M. Mendez
Bulletin of the Section of Logic , 16 /4 (1987) s. 167-175 -
Exhaustively axiomatizing S3-> and S4-> with a select list of representative theses
Jose M. Mendez
Bulletin of the Section of Logic , 17 /1 (1988) s. 15-22 -
Paraconsistent sequential calculi
Vladimir M. Popov
Bulletin of the Section of Logic , 17 /3-4 (1988) s. 148-158 -
On a closure of a set of classically essential formulas and on relevant implication
Vladimir M. Popov
Bulletin of the Section of Logic , 18 /1 (1989) s. 20-24 -
Urguhart's C with minimal negation
Jose M. Mendez
Bulletin of the Section of Logic , 19 /1 (1990) s. 15-20 -
Decision problem for finite equivalential algebras
Paweł M. Idziak
Bulletin of the Section of Logic , 20 /1 (1991) s. 7-9 -
Pre-ordered quantifiers in elementary sentences of natural language
Marek M. Zawadowski
Bulletin of the Section of Logic , 20 /3-4 (1991) s. 117-118 -
Normal Filters of Distributive Lattices
M. Sambasiva Rao
Bulletin of the Section of Logic , 41 /3-4 (2012) s. 131-143 -
Congruences and Ideals in a Distributive Lattice with Respect to a Derivation
M. Sambasiva Rao
Bulletin of the Section of Logic , 42 /1-2 (2013) s. 1-10 -
Grzegorczyk Algebras Revisited
Michał M. Stronkowski
Bulletin of the Section of Logic , 47 /2 (2018) s. 129-139 -
On the Category of EQ-Algebras
Narges Akhlaghinia, Mona Aaly Kologani, Rajab Ali Borzooei, Xiao Long Xin
Bulletin of the Section of Logic , 50 /4 (2021) s. 397-419 -
Slaney's Logic F** is Constructive Logic with Strong Negation
M. Spinks, R. Veroff
Bulletin of the Section of Logic , 39 /3-4 (2010) s. 161-174